2

Formal specification and analysis of distributed systems

Year:
1998
Language:
english
File:
PDF, 177 KB
english, 1998
3

Knowledge based traffic signal control model for signalized intersection

Year:
2012
Language:
english
File:
PDF, 284 KB
english, 2012
9

Guest editorial

Year:
2008
Language:
english
File:
PDF, 96 KB
english, 2008
10

Verification of business process workflows

Year:
2012
Language:
english
File:
PDF, 837 KB
english, 2012